翻訳と辞書 Words near each other ・ Consulate General of the United States, Dubai ・ Constructive dilemma ・ Constructive dismissal ・ Constructive empiricism ・ Constructive engagement ・ Constructive eviction ・ Constructive fraud ・ Constructive function theory ・ Constructive heuristic ・ Constructive journalism ・ Constructive non-standard analysis ・ Constructive notice ・ Constructive perception ・ Constructive possession ・ Constructive Program ・ Constructive proof ・ Constructive quantum field theory ・ Constructive realism ・ Constructive receipt ・ Constructive research ・ Constructive set theory ・ Constructive solid geometry ・ Constructive speech ・ Constructive theology ・ Constructive treason ・ Constructive trust ・ Constructive trusts in English law ・ Constructive vote of no confidence ・ Constructiveness (phrenology) ・ Constructivism Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Constructive proof ： ウィキペディア英語版 Constructive proof In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof (also known as an ''existence proof'' or ''pure existence theorem'') which proves the existence of a particular kind of object without providing an example. Some non-constructive proofs show that if a certain proposition is false, a contradiction ensues; consequently the proposition must be true (proof by contradiction). However, the principle of explosion (''ex falso quodlibet'') has been accepted in some varieties of constructive mathematics, including intuitionism. Constructivism is a mathematical philosophy that rejects all but constructive proofs in mathematics. This leads to a restriction on the proof methods allowed (prototypically, the law of the excluded middle is not accepted) and a different meaning of terminology (for example, the term "or" has a stronger meaning in constructive mathematics than in classical). Constructive proofs can be seen as defining certified mathematical algorithms: this idea is explored in the Brouwer–Heyting–Kolmogorov interpretation of constructive logic, the Curry–Howard correspondence between proofs and programs, and such logical systems as Per Martin-Löf's Intuitionistic Type Theory, and Thierry Coquand and Gérard Huet's Calculus of Constructions. ==Examples== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Constructive proof」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.